O projeto DACHOR: Dinâmica multicorpo e controlo de ortóteses híbridas activas

Fundação para a Ciência e a Tecnologia pelo financiamento concedido no âmbito do projecto MIT-PVBSHHMS/0042/200

'Galculator': functional prototype of a Galois-connection based proof assistant

Galculator is the name of the prototype of a proof assistant of a special brand: it is solely based on the algebra of Galois connections. When combined with the pointfree transform and tactics such as the indirect equality principle, Galois connections offer a very powerful, generic device to tackle the complexity of proofs in program verification. The paper describes the architecture of the current Galculator prototype, which is implemented in Haskell in order to steer types as much as possible. The prospect of integrating the Galculator with other proof assistants such as e.g. Coq is also discussed.(undefined

Decomposition of stochastic flows with automorphism of subbundles component

We show that given a $G$-structure $P$ on a differentiable manifold $M$, if the group $G(M)$ of automorphisms of $P$ is big enough, then there exists the quotient of an stochastic flows $phi_t$ by $G(M)$, in the sense that $\phi_t = \xi_t \circ \rho_t$ where $\xi_t \in G(M)$, the remainder $\rho_t$ has derivative which is vertical but transversal to the fibre of $P$. This geometrical context generalizes previous results where $M$ is a Riemannian manifold and $\phi_t$ is decomposed with an isometric component, see Liao \cite{Liao1} and Ruffino \cite{Ruffino}, which in our context corresponds to the particular case of an SO(n)-structure on $M$.Comment: To appear in Stochastics and Dynamics, 201

Calidad de vida y trastornos del humor: relación para cumplir con el proceso de atención

Los trastornos del humor provocan un fuerte prejuicio en la gente, aunque no sea muy claro cuál su impacto de acuerdo a la enfermedad específica. La calidad de vida de las personas con enfermedad mental ha sido objeto de interés de la investigación cada vez mayor, después de haber sido considerado una medida importante para evaluar las intervenciones y los resultados. objetivos: 1) identificar las relaciones significativas entre los dominios de la calidad de vida y variables sociodemográficas en las personas con trastornos del humor, 2) identificar las relaciones significativas entre la calidad de vida y de la depresión mayor, distimia, trastorno bipolar y los trastornos depresivos no especificados. Método: 39 sujetos mayores de 18 años, con trastornos del humor de un hospital de Portugal. Utilizado el WHOQOL-Bref; Índice de Graffar y un cuestionario de datos demográficos y clínicos. Los datos fueron recolectados en los domicilios de los sujetos. Todos los sujetos firmaron el consentimiento informado. Fueron explicados los objetivos del estudio, el papel de los investigadores y el cumplimiento de la confidencialidad. Para el análisis estadístico se utilizó el Statistical Package for Social Sciences IBM SPSS Statistics, versión 19.0. En el análisis inferencial se utilizaron pruebas paramétricas (prueba T - t), donde la normalidad de las variables observadas y no paramétricas (Mann-Whitney -U ). El ρ de Spearman se utilizó como una alternativa a la r de Pearson cuando este último se viola el supuesto de normalidad. Se consideró estadísticamente significativo un valor p <0,05. Resultados: Se puso de relieve la relación entre la edad, sexo, clase social y la calidad de vida. Los datos también apuntan para un impacto diferencial en la calidad de vida como el trastorno del humor. Las personas con distimia se revela en tres (dominio físico, dominio ambiente y dominio psicológico) de los cuatro dominios del WHOQOL-Bref los valores más bajos. Los sujetos con trastornos depresivos no especificados fueron aquellos con índices más altos de calidad de vida en todos los dominios con algunas relaciones que son significativas en comparación con otras enfermedades. Discusión: Aunque, en general, resultados corroboran los anteriores en la medida en que el revelador de los dominio de la calidad de vida se ven afectados por trastornos del humor, las comparaciones son difíciles debido a las diferencias en la evaluación de la calidad de vida, particularmente en características de las muestras estudiadas, el contexto de la recopilación de datos y herramientas de evaluación utilizadas. Podemos decir que la relación entre la calidad de vida y la enfermedad mental es compleja y no siempre por consenso. Este estudio apunta a la existencia de algunas relaciones entre la calidad de vida y las variables sociodemográficas de las personas con trastornos del humor y la presencia de diferencias en la calidad de vida como la enfermedad que tienen los sujetos. Implicaciones para la práctica: los datos de este estudio proporcionan un fiel reflejo de algunos de los aspectos más subjetivos de la respuesta humana a la enfermedad y confirman la importancia de tenerlos en cuenta en el proceso de atención.As doenças do humor provocam um forte prejuízo nas pessoas, embora ainda não seja muito claro o seu impacte conforme a especificidade da doença. A qualidade de vida (QDV) das pessoas com doença mental tem sido alvo de crescente interesse de investigação, por ter vindo a ser considerada uma medida importante para aferir intervenções e resultados. Os objetivos deste estudo são: 1) Identificar relações significativas entre os domínios da QDV e variáveis sociodemográficas e de acompanhamento em pessoas com doenças do humor; 2) identificar relações significativas entre a QDV e a Depressão Major (DM) Distimia (D) Doença Bipolar (DB) e Perturbações Depressivas Sem Outra Especificação (PDSOE). Método: Participaram 39 sujeitos com idades superiores a 18 anos, com diagnósticos médicos de DM, D, DB e PDSOE e a frequentar consulta externa de psiquiatria de um Hospital da Zona Norte de Portugal. Foram utilizados o WHOQOL-Bref; o Índice de Graffar e um Questionário de Dados Sociodemográficos e Clínicos. Os dados foram recolhidos nos domicílios dos sujeitos. Todos os sujeitos assinaram consentimento informado no qual eram explicados os objetivos do estudo, o papel dos investigadores e o cumprimento da confidencialidade. Para a análise estatística recorreu-se ao Statistical Package for Social Sciences IBM SPSS Statistics, versão 19.0. Na análise inferencial foram utilizados testes paramétricos (Test t - t), sempre que se verificou a normalidade das variáveis e não paramétricos (Mann-Whitney – U). O ρ de Spearman utilizou-se como alternativa ao r de Pearson, quando neste último se violava o pressuposto da normalidade. Foi considerado estatisticamente significativo um valor de p <0,05. Resultados: Foi realçada a relação entre a idade, sexo, classe social e condições de acompanhamento das pessoas com doença do humor e a QDV. Os dados apontam ainda para um impacte diferencial na QDV conforme a doença do humor. As pessoas com distimia revelaram em três (Domínio Físico, Domínio Psicológico e Domínio Ambiente) dos quatro domínios do WHOQOL-Bref os valores mais baixos. Os sujeitos com DPSOE foram os que apresentam índices superiores de QDV em todos os domínios, existindo algumas relações significativas quando comparadas com as outras doenças. Discussão: Embora, de uma forma geral, os resultados deste estudo corroborem os anteriores, na medida em que revelam que os domínios da QDV são afetados pelas doenças do humor, as comparações tornam-se difíceis devido a diferenças na avaliação da QDV, nomeadamente nas características das amostras em estudo, contexto de recolha de dados e instrumentos de avaliação utilizados. Através desta análise, podemos afirmar que a relação entre a QDV e as doenças mentais é complexa e nem sempre consensual. Este estudo aponta para a existência de algumas relações entre a QDV e variáveis sociodemográficas em pessoas com doenças do humor e para a presença de diferenças na QDV conforme a doença que os sujeitos apresentam. Implicações para a prática: os dados deste estudo permitem uma reflexão séria sobre alguns aspetos mais subjetivos das respostas humanas à doença e confirmam a importância de os ter em atenção no processo de cuidados

Galois: a language for proofs using galois connections and fork algebras

Galois is a domain specific language supported by the Galculator interactive proof-assistant prototype. Galculator uses an equational approach based on Galois connections with indirect equality as an additional inference rule. Galois allows for the specification of different theories in a point-free style by using fork algebras, an extension of relation algebras with expressive power of first-order logic. The language offers sub-languages to derive proof rules from Galois connections, to express proof tactics, and to organize axioms and theorems into modular definitions. In this paper, we describe how the algebraic theory underlying the proof-method drives the design of the Galois language. We provide the syntax and semantics of important fragments of Galois and show how they are hierarchically combined into a complete language.Theauthorsthanktheanonymousrefereesforinsightfulcomments which improved the quality of the original submission. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The first author was supported by FCT under grant number SFRH/BD/19195/2004

Impacto de los trastornos del humor en la calidad de vida

introdução: As Doenças do Humor (DH) provocam um forte prejuízo nas pessoas, embora ainda não seja muito claro o seu impacte na qualidade de vida (QDV) conforme a especiicidade da doença. objetivos: Os objetivos deste estudo são: 1) identiicar relações signiicativas entre a QDV e variáveis sociodemográicas em pessoas com doenças do humor; 2) identiicar relações signiicativas entre a QDV e a Depressão Major (DM) Distimia (D) Doença Bipolar (DB) e Perturbações Depressivas Sem Outra Especiicação (PDSOE). material e métodos: Participantes - 39 sujeitos com DM, D, DB e PDSOE. Instrumentos - WHOQOL-Bref; Índice de Graffar e Questionário de Dados Sociodemográicos e Clínicos. Análises estatísticas: Utilizado o IBM SPSS Statistics, versão 19.0. Considerado estatisticamente signiicativo um valor de p < .05. Resultados: Realçada a relação entre a idade, sexo, estado civil, escolaridade, classe social e a QDV. Os dados apontam ainda para um impacte diferencial na QDV conforme a DH. Os sujeitos com DPSOE apresentam índices superiores de QDV, existindo algumas relações signiicativas quando comparadas com a DM, D e DB. Conclusões: Este estudo aponta para a existência de algumas relações entre a QDV e variáveis sociodemográicas e para a presença de diferenças na QDV conforme a DH.Introduction: Mood Disorders (MD) cause a great distress to people and their lives, although it is not very clear how it can affect Quality Of Life (QOL) according to the speciic disease. Objectives: The objectives of this study are: 1) to identify signiicant relationships between the Quality Of Life (QOL) and sociodemographic variables in people with Mood Disorders; 2) to identify signiicant relationships between QOL and Major Depression (MD) Dysthymia (D) Bipolar Disorder (BD) and Depressive Disorders Not Otherwise Speciied (DDNOE). Method: Participants - 39 subjects with DM, D, DB and PDSOE. Instruments - WHOQOL-Bref; The Graffar Index and the Questionnaire of Sociodemographic and Clinical Data. Statistical analysis: used IBM SPSS, version 19.0. A 0.05 level of signiicance was considered. Results: It’s highlighted the relationship between age, sex, marital status, education, social class and QOL. The data also point to a differential impact on QOL as the DH. Subjects with DDNOE have higher rates of QOL, there are some relationships that are signiicant when compared with the MD, D and BD. Conclusions: This study points to the existence of some relationships between QOL and sociodemographic variables and the presence of differences in QOL as the mood disorders.Introducción: Los trastornos del humor provocan un fuerte prejuicio en la gente, aunque no sea muy claro cuál su impacto de acuerdo a la enfermedad especíica. Objetivos: Los objetivos de este estudio son: 1) identiicar las relaciones signiicativas entre la calidad de vida (CDV) y variables sociodemográicas en las personas con trastornos del humor; 2) identiicar las relaciones signiicativas entre la calidad de vida y la depresión mayor (DM), Distimia (D) Trastorno Bipolar (TB) y los Trastornos Depresivos No Especiicados (TDNE). Método: Participantes - 39 sujetos con DM, D, TB y TDNE. Instrumentos - WHOQOL-BREF; Índice de Graffar y un cuestionario de datos demográicos y clínicos. Análisis estadístico: Se utilizó el IBM SPSS Statistics, versão 19.0, versión 19.0. Se consideró estadísticamente signiicativo un valor p < .05. Resultados: Se puso de relieve la relación entre la edad, sexo, clase social y la calidad de vida. Los datos también apuntan para un impacto diferencial en la calidad de vida como el trastorno del humor. Los sujetos con TDNE fueron aquellos con índices más altos de calidad de vida en comparación con la DM, D y TB. Conclusiones: Este estudio indica la existencia de alguna relación entre la calidad de vida y variables sociodemográficas y la presencia de diferencias en la CDV según la enfermedad que tienen los sujetos